Here is a patch for https://sourceforge.net/p/jedit/plugin-bugs/1757/.
This seems to fix it, but have a look and let me know
| Submitted | grepppo - 2014-12-24 22:47:34.619000 | Assigned | kpouer |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2014-12-28 02:57:25.660000 ezust |
- **assigned_to**: Matthieu Casanova |
|---|---|
| 2014-12-28 03:15:08.186000 ezust |
- **status**: open --> pending |
| 2014-12-28 03:15:09.125000 ezust |
This is quite an extensive patch, I am surprised so much work was necessary to make
this possible. I am not familiar enough with the code to review this myself so I
am assigning it to Matthieu.
|
| 2014-12-28 03:22:42.868000 ezust |
Looking some more, I am thinking this is probably not the right approach. You are
directly cancelling Threads, when the cancel of an item from the jEdit Task Monitor
can cause Task.cancel() to be called, and from there, cleanly exit the long-running
task...
|
| 2014-12-29 19:56:53.290000 grepppo |
Under the covers the Task.cancel() just calls interrupt() on the thread that is running
the task.
|
| 2014-12-29 21:30:24.776000 grepppo |
sorry that should have said "caught by the existing catch block for IOException, which
just logs the error and carries on processing, hence the task does not cancel."
|
| 2015-01-07 21:26:54.629000 grepppo |
Hi Guys, Have you had a chance to look at this ? |
| 2015-01-07 22:47:07.353000 ezust |
- **status**: pending --> open |